Combining Time and Concurrency in Model-Based Statistical Testing of Embedded Real-Time Systems
نویسندگان
چکیده
Timed usage models (TUMs) represent a model-based statistical approach for system testing of real-time embedded systems. They enable an automatic test case generation and the calculation of parameters that aid the test process. However, a classical TUM only supports sequential uses of the system under test (SUT). It is not capable of dealing with concurrency, which is required for state of the art real-time embedded systems. Therefore, we introduce TUMs with parallel regions. They also allow automatic test case generation, which is carried out similarly to classical TUMs. But, the semi-Markov process (SMP) that is usually used for analysis is not suitable here. We apply Markov renewal theory and define an SMP with parallel regions, which is used to calculate parameters. We validated our analytical approach by simulations.
منابع مشابه
Which Methodology is Better for Combining Linear and Nonlinear Models for Time Series Forecasting?
Both theoretical and empirical findings have suggested that combining different models can be an effective way to improve the predictive performance of each individual model. It is especially occurred when the models in the ensemble are quite different. Hybrid techniques that decompose a time series into its linear and nonlinear components are one of the most important kinds of the hybrid model...
متن کاملConcurrency and Schedulability Analysis in Component-based Real-Time System Devel- opment
In our previous work, we have defined a formal model for component-based real-time embedded systems. We use a set of variables to denote the amount of different kinds of resources needed to implement the component. The WCET of each component method is represented in terms of a predicate over the resource variables. Such a model enables therefore the flexibility the component specification. It c...
متن کاملPrediction of Car Following Behavior Based on the Instantaneous Reaction Time using an ANFIS-CART Based Model
Car-following models are among the most important components of micro traffic flow simulation which is studiedby transportation experts to evaluate new applications of intelligent transportation systems. Until now, several carfollowingmodels have been proposed. An obvious disadvantage of the former models is the great number of parameterswhich are difficult to calibrate. In th...
متن کاملMarkovian Delay Prediction-Based Control of Networked Systems
A new Markov-based method for real time prediction of network transmission time delays is introduced. The method considers a Multi-Layer Perceptron (MLP) neural model for the transmission network, where the number of neurons in the input layer is minimized so that the required calculations are reduced and the method can be implemented in the real-time. For this purpose, the Markov process order...
متن کاملAspects and components in real-time system development: Towards reconfigurable and reusable software
Increasing complexity of real-time systems, and demands for enabling their configurability and reusability are strong motivations for applying new software engineering principles, such as aspect-oriented and component-based development. In this paper we introduce a novel concept of aspectual component-based real-time system development. The concept is based on a design method that assumes decom...
متن کامل